1. Formal methods for mobile computing : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 : advanced lectures
Author: Marco Bernardo, Alessandro Bogliolo )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Mobile computing,Congresses ، Formal methods )Computer science(,Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
3465
